<html>
<body>
将属性 getter 转换为初始值设定项。
</body>
</html>
